#include<stdint.h>

void init_led();
void led_on();
void led_off();
void led_blink();